t[(x∈U)t→∃t'[t'>t∧∼(x∈U)t']] ∀x

Follow t[(x∈U)t→∃t'[t'>t∧∼(x∈U)t']] ∀x on Raygum

Get a heads-up the moment t[(x∈U)t→∃t'[t'>t∧∼(x∈U)t']] ∀x releases something new — and when they're written up in reviews, charts and newsletters. Free account, no spam.